[(a)] = 1
